/*
Mikhail Breslav and Christopher Kwan
CS 511 Spring 2011 Project
Ref:
http://www.456bereastreet.com/lab/developing_with_web_standards/csslayout/2-col/
Ref: http://www.maxdesign.com.au/articles/css-layouts/two-liquid/
Ref: http://www.eclipsecolorthemes.org/?view=theme&id=21
*/



body,html 
{
    margin:0;
    padding:0;
    color:#000;
    /*background:#293134;*/
    background: #E0E2E4;
    font: normal 13px/18px 'Trebuchet MS', Helvetica, Arial, sans-serif, serif;
}

a:hover {
border-bottom: 1px blue dotted;
}

a {
color: #2F393C;
text-decoration: none;
}

div
{
    background: #E0E2E4
}

#pageDiv 
{
    width:80%;
    margin:0 auto;
    background: #E0E2E4
}

#mainDiv
{
    background: #E0E2E4
}

#instructionsDiv
{
}

#inputDiv
{
    float:left;
    width:50%;
}

#errorDiv
{
    float:right;
    width:50%;
}

#assertDiv
{
    float:right;
    width:50%;
    background: #E0E2E4
}

#truthTableDiv
{
    float:left;
    width:100%;
}

#detailsDiv
{
    float: left;
    width: 100%;
}

#detailsTopDiv
{
    float: left;
    width: 100%;
}

#detailsTopLeftDiv
{
    float: left;
    width: 50%;
}

#detailsTopRightDiv
{
    float: right;
    width: 50%;
}

#detailsBottomDiv
{
    float: left;
    width: 100%;
}

#footerDiv
{
    float: left;
    width: 100%;
}